Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
61	Binary Addition on Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:28 Propositional calculus Exclusive or Logic Binary numeral system Cellular automaton Logarithm Summation Mathematics Abstract algebra Boolean algebra
62	CCCG 2013, Waterloo, Ontario, August 8–10, 2013 Data Structures for Incremental Extreme Ray Enumeration Algorithms Blagoy Genov∗ Abstract Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2013-08-11 21:51:58 Theoretical computer science Algorithm Mathematical logic Randomized algorithm Binary search tree K-d tree Mathematics Applied mathematics Binary trees
63	Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,1 Pierre Genev`es,2 Nabil Laya¨ıda,1 and Alan Schmitt1 1 INRIA, France 2 CNRS, France Add to Reading List Source URL: wam.inrialpes.fr Language: English - Date: 2011-04-14 03:17:50 Formal languages Model theory First-order logic Predicate logic Golden ratio Well-formed formula Binary tree Function Linear temporal logic Logic Mathematics Mathematical logic
64	ENGG1015 Homework 1 Question 1 Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2012-12-03 04:03:28 Theoretical computer science Theory of computation Adders Logic gates Traffic law Subtractor Combinational logic Traffic light Light-emitting diode Binary logic Digital electronics Electronic engineering
65	SEARCH, Computational Processes in Evolution, and Preliminary Development of the Gene Expression Messy Genetic Algorithm Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Equivalence relation Binary relation Function Total order Selection algorithm Structure Algorithm Genetic algorithm Mathematics Mathematical logic Theoretical computer science
66	Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: dmwit.com Language: English - Date: 2011-01-31 16:10:19 Algebraic logic Camera lens Anamorphism Fold Heap Surjective function Binary relation Boolean algebra Mathematics Mathematical logic Mathematical analysis
67	ICS 1F — Winter 1998 — Midterm Name: Student ID: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 1998-02-10 16:51:49 Mathematical logic Propositional calculus Semantics Digital circuits Binary arithmetic Binary numeral system Boolean circuit Truth table FO Mathematics Boolean algebra Theoretical computer science
68	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
69	Verifiable C Applying the Verified Software Toolchain to C programs Version 1.5 October 1, 2014 Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2014-10-01 14:51:04 Binary operations Deduction Proof theory If and only if Logic Natural deduction Valuation Abstract algebra Mathematics Algebra
70	Syllabus January 28, 2011 Philosophy 142: Philosophical Logic Professor John MacFarlane Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-28 21:51:01 Non-classical logic Conditionals Binary operations Propositional calculus Entailment Modal logic Material conditional First-order logic Indicative conditional Logic Mathematical logic Philosophical logic

UPDATE